The unique (up to isomorphism) algebraic extension of the field <i>F</i> that is algebraically closed.